1. Compiler Generators :
المؤلف: by Mads Tofte.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer science.,Logic design.,Software engineering.
رده :
QA76
.
76
.
C65
B963
1990
2. Proof, language, and interaction
المؤلف: / edited by Gordon Plotkin, Colin Stirling, and Mads Tofte
المکتبة: مكتبات الكلية التقنية بجامعة طهران (طهران)
موضوع: Computer science
رده :
QA
76
.
P699
2000
